<html><body bgcolor=white onload='parent.fileFinishedLoading();'>
<link rel=stylesheet type="text/css" href="styles.css"><pre>
struct <img name="if0" src=pixel.gif width=10 height = 10> <a name="f0"></a>printf_arguments {
   int i ;
   double d ;
   char <img name="in3" src=pixel.gif width=10 height = 10> <a name="n3" class="other" href="javascript: sn(3)">*<sub>3</sub></a>s <img name="in4" src=pixel.gif width=10 height = 10> <a name="n4" class="safe" href="javascript: sn(4)">&<sub>4</sub></a>;
   long long ll ;
};
struct msghdr;
struct iovec;
struct <img name="if1" src=pixel.gif width=10 height = 10> <a name="f1"></a>msghdr {
   void <img name="in6" src=pixel.gif width=10 height = 10> <a name="n6" class="safe" href="javascript: sn(6)">*<sub>6</sub></a>msg_name <img name="in7" src=pixel.gif width=10 height = 10> <a name="n7" class="safe" href="javascript: sn(7)">&<sub>7</sub></a>;
   int msg_namelen ;
   <a href="javascript: sff(0)">struct iovec </a> <img name="in9" src=pixel.gif width=10 height = 10> <a name="n9" class="fseq" href="javascript: sn(9)">*<sub>9</sub></a>msg_iov <img name="in10" src=pixel.gif width=10 height = 10> <a name="n10" class="safe" href="javascript: sn(10)">&<sub>10</sub></a>;
   int msg_iovlen ;
   void <img name="in12" src=pixel.gif width=10 height = 10> <a name="n12" class="safe" href="javascript: sn(12)">*<sub>12</sub></a>msg_control <img name="in13" src=pixel.gif width=10 height = 10> <a name="n13" class="safe" href="javascript: sn(13)">&<sub>13</sub></a>;
   int msg_controllen ;
   int msg_flags ;
};
struct <img name="if2" src=pixel.gif width=10 height = 10> <a name="f2"></a>iovec {
   char  * iov_base ;
   int iov_len ;
};
<img name="if3" src=pixel.gif width=10 height = 10> <a name="f3"></a>extern void __ccuredInit(void) ;
<img name="if4" src=pixel.gif width=10 height = 10> <a name="f4"></a>extern void abort_deepcopy(char  * errmsg  ) ;
struct msghdr_COMPAT;
struct iovec_COMPAT;
struct <img name="if5" src=pixel.gif width=10 height = 10> <a name="f5"></a>msghdr_COMPAT {
   void <img name="in22" src=pixel.gif width=10 height = 10> <a name="n22" class="safe" href="javascript: sn(22)">*<sub>22</sub></a>msg_name <img name="in23" src=pixel.gif width=10 height = 10> <a name="n23" class="safe" href="javascript: sn(23)">&<sub>23</sub></a>;
   int msg_namelen ;
   <a href="javascript: sff(1)">struct iovec_COMPAT </a>  * msg_iov ;
   int msg_iovlen ;
   void <img name="in28" src=pixel.gif width=10 height = 10> <a name="n28" class="safe" href="javascript: sn(28)">*<sub>28</sub></a>msg_control <img name="in29" src=pixel.gif width=10 height = 10> <a name="n29" class="safe" href="javascript: sn(29)">&<sub>29</sub></a>;
   int msg_controllen ;
   int msg_flags ;
};
<img name="if6" src=pixel.gif width=10 height = 10> <a name="f6"></a>extern int sendmsg(int fd  ,
                   <a href="javascript: sf(0, 'if5')">struct msghdr_COMPAT </a> <img name="in32" src=pixel.gif width=10 height = 10> <a name="n32" class="safe" href="javascript: sn(32)">*<sub>32</sub></a>msg  ,
                   int flags  ) <img name="in33" src=pixel.gif width=10 height = 10> <a name="n33" class="safe" href="javascript: sn(33)">&<sub>33</sub></a>;
static int /*1*/sendmsg_wrapper4(int fd  ,
                                 <a href="javascript: sf(0, 'if1')">struct msghdr </a> <img name="in50" src=pixel.gif width=10 height = 10> <a name="n50" class="safe" href="javascript: sn(50)">*<sub>50</sub></a>msg  <img name="in130" src=pixel.gif width=10 height = 10> <a name="n130" class="safe" href="javascript: sn(130)">&<sub>130</sub></a>,
                                 int flags  ) <img name="in51" src=pixel.gif width=10 height = 10> <a name="n51" class="safe" href="javascript: sn(51)">&<sub>51</sub></a>;
int foo(int fd  ,
        <a href="javascript: sf(0, 'if2')">struct iovec </a> <img name="in34" src=pixel.gif width=10 height = 10> <a name="n34" class="fseq" href="javascript: sn(34)">*<sub>34</sub></a>array  <img name="in37" src=pixel.gif width=10 height = 10> <a name="n37" class="safe" href="javascript: sn(37)">&<sub>37</sub></a>,
        int array_len  ) <img name="in35" src=pixel.gif width=10 height = 10> <a name="n35" class="safe" href="javascript: sn(35)">&<sub>35</sub></a>;
<img name="if7" src=pixel.gif width=10 height = 10> <a name="f7"></a>int foo(int fd  ,
        <a href="javascript: sf(0, 'if2')">struct iovec </a> <img name="in34" src=pixel.gif width=10 height = 10> <a name="n34" class="fseq" href="javascript: sn(34)">*<sub>34</sub></a>array  <img name="in37" src=pixel.gif width=10 height = 10> <a name="n37" class="safe" href="javascript: sn(37)">&<sub>37</sub></a>,
        int array_len  ) 
{ <a href="javascript: sf(0, 'if1')">struct msghdr </a> msg <img name="in39" src=pixel.gif width=10 height = 10> <a name="n39" class="safe" href="javascript: sn(39)">&<sub>39</sub></a>;
  <a href="javascript: sf(0, 'if2')">struct iovec </a>  * foo___0 ;
  int tmp ;

  {
  msg.msg_name = 0;
  msg.msg_namelen = 0;
  msg.msg_iov<img name="if8" src=pixel.gif width=10 height = 10> <a name="f8"></a> = array;
  msg.msg_iovlen = array_len;
  msg.msg_control = 0;
  msg.msg_controllen = 0;
  msg.msg_flags = 0;
  foo___0 = msg.msg_iov <img name="if9" src=pixel.gif width=10 height = 10> <a name="f9"></a>+ 1;
  tmp = <a href="javascript: sff(2)">/*1*/sendmsg_wrapper4</a> (fd, & msg, 0);
  return (tmp);
}
}
<img name="if10" src=pixel.gif width=10 height = 10> <a name="f10"></a>extern void <img name="in52" src=pixel.gif width=10 height = 10> <a name="n52" class="safe" href="javascript: sn(52)">*<sub>52</sub></a>malloc(int   ) <img name="in53" src=pixel.gif width=10 height = 10> <a name="n53" class="safe" href="javascript: sn(53)">&<sub>53</sub></a>;
<img name="if11" src=pixel.gif width=10 height = 10> <a name="f11"></a>extern void free(void <img name="in54" src=pixel.gif width=10 height = 10> <a name="n54" class="safe" href="javascript: sn(54)">*<sub>54</sub></a>  ) <img name="in55" src=pixel.gif width=10 height = 10> <a name="n55" class="safe" href="javascript: sn(55)">&<sub>55</sub></a>;
struct <img name="if12" src=pixel.gif width=10 height = 10> <a name="f12"></a>iovec_COMPAT {
   char  * iov_base ;
   int iov_len ;
};
static void __deepcopy_msghdr_to_compat(<a href="javascript: sf(0, 'if5')">struct msghdr_COMPAT </a> <img name="in59" src=pixel.gif width=10 height = 10> <a name="n59" class="safe" href="javascript: sn(59)">*<sub>59</sub></a>compat  <img name="in75" src=pixel.gif width=10 height = 10> <a name="n75" class="safe" href="javascript: sn(75)">&<sub>75</sub></a>,
                                        <a href="javascript: sf(0, 'if1')">struct msghdr </a> <img name="in60" src=pixel.gif width=10 height = 10> <a name="n60" class="safe" href="javascript: sn(60)">*<sub>60</sub></a>fat  <img name="in76" src=pixel.gif width=10 height = 10> <a name="n76" class="safe" href="javascript: sn(76)">&<sub>76</sub></a>) <img name="in61" src=pixel.gif width=10 height = 10> <a name="n61" class="safe" href="javascript: sn(61)">&<sub>61</sub></a>;
//

<img name="if13" src=pixel.gif width=10 height = 10> <a name="f13"></a>extern void <img name="in69" src=pixel.gif width=10 height = 10> <a name="n69" class="safe" href="javascript: sn(69)">*<sub>69</sub></a>/*2*/__ptrof_nocheck(void <img name="in70" src=pixel.gif width=10 height = 10> <a name="n70" class="safe" href="javascript: sn(70)">*<sub>70</sub></a>ptr  ) <img name="in71" src=pixel.gif width=10 height = 10> <a name="n71" class="safe" href="javascript: sn(71)">&<sub>71</sub></a>;
static void __deepcopy_iovec_to_compat(<a href="javascript: sf(0, 'if12')">struct iovec_COMPAT </a>  * compat  ,
                                       <a href="javascript: sf(0, 'if2')">struct iovec </a>  * fat  ) ;
<img name="if14" src=pixel.gif width=10 height = 10> <a name="f14"></a>static void __deepcopy_iovec_to_compat(<a href="javascript: sf(0, 'if12')">struct iovec_COMPAT </a>  * compat  ,
                                       <a href="javascript: sf(0, 'if2')">struct iovec </a>  * fat  ) 
{ 

  {
  compat->iov_len = fat->iov_len;
  compat->iov_base = (char  * )<a href="javascript: sf(0, 'if13')">/*2*/__ptrof_nocheck</a> ((void <img name="in72" src=pixel.gif width=10 height = 10> <a name="n72" class="safe" href="javascript: sn(72)">*<sub>72</sub></a>)fat->iov_base);
  return;
}
}
<img name="if15" src=pixel.gif width=10 height = 10> <a name="f15"></a>extern void <img name="in90" src=pixel.gif width=10 height = 10> <a name="n90" class="safe" href="javascript: sn(90)">*<sub>90</sub></a>/*3*/__ptrof_nocheck(void <img name="in91" src=pixel.gif width=10 height = 10> <a name="n91" class="safe" href="javascript: sn(91)">*<sub>91</sub></a>ptr  ) <img name="in92" src=pixel.gif width=10 height = 10> <a name="n92" class="safe" href="javascript: sn(92)">&<sub>92</sub></a>;
<img name="if16" src=pixel.gif width=10 height = 10> <a name="f16"></a>extern int /*4*/__ccured_has_empty_mangling(unsigned int   ) ;
<img name="if17" src=pixel.gif width=10 height = 10> <a name="f17"></a>extern void <img name="in96" src=pixel.gif width=10 height = 10> <a name="n96" class="safe" href="javascript: sn(96)">*<sub>96</sub></a>/*5*/__trusted_cast(void <img name="in97" src=pixel.gif width=10 height = 10> <a name="n97" class="safe" href="javascript: sn(97)">*<sub>97</sub></a>p  ) <img name="in98" src=pixel.gif width=10 height = 10> <a name="n98" class="safe" href="javascript: sn(98)">&<sub>98</sub></a>;
<img name="if18" src=pixel.gif width=10 height = 10> <a name="f18"></a>extern void <img name="in104" src=pixel.gif width=10 height = 10> <a name="n104" class="safe" href="javascript: sn(104)">*<sub>104</sub></a>/*6*/__ptrof_nocheck(void <img name="in105" src=pixel.gif width=10 height = 10> <a name="n105" class="safe" href="javascript: sn(105)">*<sub>105</sub></a>ptr  ) <img name="in106" src=pixel.gif width=10 height = 10> <a name="n106" class="safe" href="javascript: sn(106)">&<sub>106</sub></a>;
<img name="if19" src=pixel.gif width=10 height = 10> <a name="f19"></a>extern int /*7*/__ccured_has_empty_mangling(unsigned int   ) ;
<img name="if20" src=pixel.gif width=10 height = 10> <a name="f20"></a>extern void <img name="in110" src=pixel.gif width=10 height = 10> <a name="n110" class="safe" href="javascript: sn(110)">*<sub>110</sub></a>/*8*/__trusted_cast(void <img name="in111" src=pixel.gif width=10 height = 10> <a name="n111" class="safe" href="javascript: sn(111)">*<sub>111</sub></a>p  ) <img name="in112" src=pixel.gif width=10 height = 10> <a name="n112" class="safe" href="javascript: sn(112)">&<sub>112</sub></a>;
<img name="if21" src=pixel.gif width=10 height = 10> <a name="f21"></a>extern int /*9*/__ccured_has_empty_mangling(unsigned int   ) ;
<img name="if22" src=pixel.gif width=10 height = 10> <a name="f22"></a>extern void <img name="in121" src=pixel.gif width=10 height = 10> <a name="n121" class="safe" href="javascript: sn(121)">*<sub>121</sub></a>/*10*/__trusted_cast(unsigned int p  ) <img name="in123" src=pixel.gif width=10 height = 10> <a name="n123" class="safe" href="javascript: sn(123)">&<sub>123</sub></a>;
<img name="if23" src=pixel.gif width=10 height = 10> <a name="f23"></a>extern void <img name="in125" src=pixel.gif width=10 height = 10> <a name="n125" class="safe" href="javascript: sn(125)">*<sub>125</sub></a>/*11*/__ptrof(void <img name="in126" src=pixel.gif width=10 height = 10> <a name="n126" class="fseq" href="javascript: sn(126)">*<sub>126</sub></a>ptr  ) <img name="in127" src=pixel.gif width=10 height = 10> <a name="n127" class="safe" href="javascript: sn(127)">&<sub>127</sub></a>;
static void __deepcopy_msghdr_to_compat(<a href="javascript: sf(0, 'if5')">struct msghdr_COMPAT </a> <img name="in59" src=pixel.gif width=10 height = 10> <a name="n59" class="safe" href="javascript: sn(59)">*<sub>59</sub></a>compat  <img name="in75" src=pixel.gif width=10 height = 10> <a name="n75" class="safe" href="javascript: sn(75)">&<sub>75</sub></a>,
                                        <a href="javascript: sf(0, 'if1')">struct msghdr </a> <img name="in60" src=pixel.gif width=10 height = 10> <a name="n60" class="safe" href="javascript: sn(60)">*<sub>60</sub></a>fat  <img name="in76" src=pixel.gif width=10 height = 10> <a name="n76" class="safe" href="javascript: sn(76)">&<sub>76</sub></a>) <img name="in61" src=pixel.gif width=10 height = 10> <a name="n61" class="safe" href="javascript: sn(61)">&<sub>61</sub></a>;
<img name="if24" src=pixel.gif width=10 height = 10> <a name="f24"></a>static void __deepcopy_msghdr_to_compat(<a href="javascript: sf(0, 'if5')">struct msghdr_COMPAT </a> <img name="in59" src=pixel.gif width=10 height = 10> <a name="n59" class="safe" href="javascript: sn(59)">*<sub>59</sub></a>compat  <img name="in75" src=pixel.gif width=10 height = 10> <a name="n75" class="safe" href="javascript: sn(75)">&<sub>75</sub></a>,
                                        <a href="javascript: sf(0, 'if1')">struct msghdr </a> <img name="in60" src=pixel.gif width=10 height = 10> <a name="n60" class="safe" href="javascript: sn(60)">*<sub>60</sub></a>fat  <img name="in76" src=pixel.gif width=10 height = 10> <a name="n76" class="safe" href="javascript: sn(76)">&<sub>76</sub></a>) 
{ int len ;
  int v ;
  <a href="javascript: sf(0, 'if12')">struct iovec_COMPAT </a>  * iptr ;
  <a href="javascript: sf(0, 'if12')">struct iovec_COMPAT </a>  * tmp ;
  int tmp___0 ;
  void <img name="in84" src=pixel.gif width=10 height = 10> <a name="n84" class="safe" href="javascript: sn(84)">*<sub>84</sub></a>__cil_tmp8 <img name="in85" src=pixel.gif width=10 height = 10> <a name="n85" class="safe" href="javascript: sn(85)">&<sub>85</sub></a>;
  int dest_mangling9 ;
  void <img name="in87" src=pixel.gif width=10 height = 10> <a name="n87" class="safe" href="javascript: sn(87)">*<sub>87</sub></a>__cil_tmp10 <img name="in88" src=pixel.gif width=10 height = 10> <a name="n88" class="safe" href="javascript: sn(88)">&<sub>88</sub></a>;
  int dest_mangling11 ;

  {
  __cil_tmp10 = (void <img name="in87" src=pixel.gif width=10 height = 10> <a name="n87" class="safe" href="javascript: sn(87)">*<sub>87</sub></a>)<a href="javascript: sf(0, 'if15')">/*3*/__ptrof_nocheck</a> (fat->msg_name);
  if (! __cil_tmp10) {
    {
    compat->msg_name = 0;
    }
  } else {
    {
    dest_mangling11 = <a href="javascript: sf(0, 'if16')">/*4*/__ccured_has_empty_mangling</a> (sizeof((*__cil_tmp10)));
    if (dest_mangling11) {
      {
      compat->msg_name = (void <img name="in22" src=pixel.gif width=10 height = 10> <a name="n22" class="safe" href="javascript: sn(22)">*<sub>22</sub></a>)<a href="javascript: sf(0, 'if17')">/*5*/__trusted_cast</a> (__cil_tmp10);
      }
    } else {
      {
      <a href="javascript: sf(0, 'if4')">abort_deepcopy</a> ((char  * )"Abort deepcopy_to_compat for msghdr.msg_name");
      }
    }
    }
  }
  compat->msg_namelen = fat->msg_namelen;
  compat->msg_iovlen = fat->msg_iovlen;
  __cil_tmp8 = (void <img name="in84" src=pixel.gif width=10 height = 10> <a name="n84" class="safe" href="javascript: sn(84)">*<sub>84</sub></a>)<a href="javascript: sf(0, 'if18')">/*6*/__ptrof_nocheck</a> (fat->msg_control);
  if (! __cil_tmp8) {
    {
    compat->msg_control = 0;
    }
  } else {
    {
    dest_mangling9 = <a href="javascript: sf(0, 'if19')">/*7*/__ccured_has_empty_mangling</a> (sizeof((*__cil_tmp8)));
    if (dest_mangling9) {
      {
      compat->msg_control = (void <img name="in28" src=pixel.gif width=10 height = 10> <a name="n28" class="safe" href="javascript: sn(28)">*<sub>28</sub></a>)<a href="javascript: sf(0, 'if20')">/*8*/__trusted_cast</a> (__cil_tmp8);
      }
    } else {
      {
      <a href="javascript: sf(0, 'if4')">abort_deepcopy</a> ((char  * )"Abort deepcopy_to_compat for msghdr.msg_control");
      }
    }
    }
  }
  compat->msg_controllen = fat->msg_controllen;
  compat->msg_flags = fat->msg_flags;
  tmp___0 = <a href="javascript: sf(0, 'if21')">/*9*/__ccured_has_empty_mangling</a> (sizeof((*(fat->msg_iov))));
  if (tmp___0) {
    compat->msg_iov = (<a href="javascript: sf(0, 'if12')">struct iovec_COMPAT </a>  * )<a href="javascript: sf(0, 'if23')">/*11*/__ptrof</a> (<img name="if27" src=pixel.gif width=10 height = 10> <a name="f27"></a>(<img name="if26" src=pixel.gif width=10 height = 10> <a name="f26"></a>void <img name="in128" src=pixel.gif width=10 height = 10> <a name="n128" class="fseq" href="javascript: sn(128)">*<sub>128</sub></a>)fat->msg_iov);
  } else {
    len = fat->msg_iovlen;
    compat->msg_iov = (<a href="javascript: sf(0, 'if12')">struct iovec_COMPAT </a>  * )<a href="javascript: sf(0, 'if10')">malloc</a> ((int )((unsigned int )len * sizeof((*(compat->msg_iov)))));
    v = 0;
    while (v < len) {
      tmp = (<a href="javascript: sf(0, 'if12')">struct iovec_COMPAT </a>  * )<a href="javascript: sf(0, 'if22')">/*10*/__trusted_cast</a> ((<img name="if25" src=pixel.gif width=10 height = 10> <a name="f25"></a>void <img name="in124" src=pixel.gif width=10 height = 10> <a name="n124" class="safe" href="javascript: sn(124)">*<sub>124</sub></a>)((unsigned long )compat->msg_iov + (unsigned long )((unsigned int )v * sizeof((*(compat->msg_iov))))));
      iptr = tmp;
      <a href="javascript: sf(0, 'if14')">__deepcopy_iovec_to_compat</a> (iptr, fat->msg_iov + v);
      v = v + 1;
    }
  }
  return;
}
}
<img name="if28" src=pixel.gif width=10 height = 10> <a name="f28"></a>extern void <img name="in144" src=pixel.gif width=10 height = 10> <a name="n144" class="safe" href="javascript: sn(144)">*<sub>144</sub></a>/*12*/__ptrof_nocheck(void <img name="in145" src=pixel.gif width=10 height = 10> <a name="n145" class="safe" href="javascript: sn(145)">*<sub>145</sub></a>ptr  ) <img name="in146" src=pixel.gif width=10 height = 10> <a name="n146" class="safe" href="javascript: sn(146)">&<sub>146</sub></a>;
<img name="if29" src=pixel.gif width=10 height = 10> <a name="f29"></a>extern void <img name="in148" src=pixel.gif width=10 height = 10> <a name="n148" class="safe" href="javascript: sn(148)">*<sub>148</sub></a>/*13*/__trusted_cast(void <img name="in149" src=pixel.gif width=10 height = 10> <a name="n149" class="safe" href="javascript: sn(149)">*<sub>149</sub></a>p  ) <img name="in150" src=pixel.gif width=10 height = 10> <a name="n150" class="safe" href="javascript: sn(150)">&<sub>150</sub></a>;
<img name="if30" src=pixel.gif width=10 height = 10> <a name="f30"></a>extern int /*14*/__ccured_has_empty_mangling(unsigned int   ) ;
<img name="if31" src=pixel.gif width=10 height = 10> <a name="f31"></a>extern void <img name="in153" src=pixel.gif width=10 height = 10> <a name="n153" class="safe" href="javascript: sn(153)">*<sub>153</sub></a>/*15*/__trusted_cast(void <img name="in154" src=pixel.gif width=10 height = 10> <a name="n154" class="safe" href="javascript: sn(154)">*<sub>154</sub></a>p  ) <img name="in155" src=pixel.gif width=10 height = 10> <a name="n155" class="safe" href="javascript: sn(155)">&<sub>155</sub></a>;
static int /*1*/sendmsg_wrapper4(int fd  ,
                                 <a href="javascript: sf(0, 'if1')">struct msghdr </a> <img name="in50" src=pixel.gif width=10 height = 10> <a name="n50" class="safe" href="javascript: sn(50)">*<sub>50</sub></a>msg  <img name="in130" src=pixel.gif width=10 height = 10> <a name="n130" class="safe" href="javascript: sn(130)">&<sub>130</sub></a>,
                                 int flags  ) <img name="in51" src=pixel.gif width=10 height = 10> <a name="n51" class="safe" href="javascript: sn(51)">&<sub>51</sub></a>;
<img name="if32" src=pixel.gif width=10 height = 10> <a name="f32"></a>static int /*1*/sendmsg_wrapper4(int fd  ,
                                 <a href="javascript: sf(0, 'if1')">struct msghdr </a> <img name="in50" src=pixel.gif width=10 height = 10> <a name="n50" class="safe" href="javascript: sn(50)">*<sub>50</sub></a>msg  <img name="in130" src=pixel.gif width=10 height = 10> <a name="n130" class="safe" href="javascript: sn(130)">&<sub>130</sub></a>,
                                 int flags  ) 
{ <a href="javascript: sf(0, 'if5')">struct msghdr_COMPAT </a> msg1__area <img name="in132" src=pixel.gif width=10 height = 10> <a name="n132" class="safe" href="javascript: sn(132)">&<sub>132</sub></a>;
  <a href="javascript: sf(0, 'if1')">struct msghdr </a> <img name="in133" src=pixel.gif width=10 height = 10> <a name="n133" class="safe" href="javascript: sn(133)">*<sub>133</sub></a>msg1__ptrof <img name="in134" src=pixel.gif width=10 height = 10> <a name="n134" class="safe" href="javascript: sn(134)">&<sub>134</sub></a>;
  <a href="javascript: sf(0, 'if1')">struct msghdr </a> <img name="in135" src=pixel.gif width=10 height = 10> <a name="n135" class="safe" href="javascript: sn(135)">*<sub>135</sub></a>tmp <img name="in136" src=pixel.gif width=10 height = 10> <a name="n136" class="safe" href="javascript: sn(136)">&<sub>136</sub></a>;
  <a href="javascript: sf(0, 'if5')">struct msghdr_COMPAT </a> <img name="in137" src=pixel.gif width=10 height = 10> <a name="n137" class="safe" href="javascript: sn(137)">*<sub>137</sub></a>msg1 <img name="in138" src=pixel.gif width=10 height = 10> <a name="n138" class="safe" href="javascript: sn(138)">&<sub>138</sub></a>;
  <a href="javascript: sf(0, 'if5')">struct msghdr_COMPAT </a> <img name="in139" src=pixel.gif width=10 height = 10> <a name="n139" class="safe" href="javascript: sn(139)">*<sub>139</sub></a>tmp___2 <img name="in140" src=pixel.gif width=10 height = 10> <a name="n140" class="safe" href="javascript: sn(140)">&<sub>140</sub></a>;
  int tmp___4 ;
  int result ;
  int tmp___5 ;

  {
  tmp = (<a href="javascript: sf(0, 'if1')">struct msghdr </a> <img name="in135" src=pixel.gif width=10 height = 10> <a name="n135" class="safe" href="javascript: sn(135)">*<sub>135</sub></a>)<a href="javascript: sf(0, 'if28')">/*12*/__ptrof_nocheck</a> ((void <img name="in147" src=pixel.gif width=10 height = 10> <a name="n147" class="safe" href="javascript: sn(147)">*<sub>147</sub></a>)msg);
  msg1__ptrof = tmp;
  if (msg1__ptrof) {
    tmp___4 = <a href="javascript: sf(0, 'if30')">/*14*/__ccured_has_empty_mangling</a> (sizeof(<a href="javascript: sf(0, 'if1')">struct msghdr </a> ));
    if (tmp___4) {
      tmp___2 = (<a href="javascript: sf(0, 'if5')">struct msghdr_COMPAT </a> <img name="in139" src=pixel.gif width=10 height = 10> <a name="n139" class="safe" href="javascript: sn(139)">*<sub>139</sub></a>)<a href="javascript: sf(0, 'if31')">/*15*/__trusted_cast</a> ((void <img name="in156" src=pixel.gif width=10 height = 10> <a name="n156" class="safe" href="javascript: sn(156)">*<sub>156</sub></a>)msg1__ptrof);
    } else {
      <a href="javascript: sf(0, 'if24')">__deepcopy_msghdr_to_compat</a> (& msg1__area, msg1__ptrof);
      tmp___2 = & msg1__area;
    }
  } else {
    tmp___2 = (<a href="javascript: sf(0, 'if5')">struct msghdr_COMPAT </a> <img name="in139" src=pixel.gif width=10 height = 10> <a name="n139" class="safe" href="javascript: sn(139)">*<sub>139</sub></a>)<a href="javascript: sf(0, 'if29')">/*13*/__trusted_cast</a> ((void <img name="in151" src=pixel.gif width=10 height = 10> <a name="n151" class="safe" href="javascript: sn(151)">*<sub>151</sub></a>)msg1__ptrof);
  }
  msg1 = tmp___2;
  tmp___5 = <a href="javascript: sf(0, 'if6')">sendmsg</a> (fd, msg1, flags);
  result = tmp___5;
  if ((unsigned int )msg1->msg_iov != (unsigned int )msg->msg_iov) {
    <a href="javascript: sf(0, 'if11')">free</a> ((void <img name="in157" src=pixel.gif width=10 height = 10> <a name="n157" class="safe" href="javascript: sn(157)">*<sub>157</sub></a>)msg1->msg_iov);
  }
  return (result);
}
}
</pre>
<script language="javascript">
// Trampoline for sn
var sn = parent.sn;
var sf = parent.sf;
var sff = parent.sff;
if(parent.fileFinishedLoading == undefined) { alert('The code is not yet loaded (in source file)');}
</script></html>
